<?php
	include('public.php');
	db_del('nav');